$\forall$$M_{1}$, $M_{2}$, $M$:MsgA. $M_{1}$ $\parallel$ $M_{2}$ $\Rightarrow$ $M$ $\subseteq$ $M_{1}$ $\Rightarrow$ $M$ $\subseteq$ $M_{1}$ $\oplus$ $M_{2}$